Naming and Necessity. Bigarren hitzaldia: 1970eko urtarrilaren 22a

Naming and Necessity. Lecture II: January 22, 1970.(Translator: Ekain Garmendia); Naming and Necessity. Bigarren hitzaldia: 1970eko urtarrilaren 22a(Itzultzailea: Ekain Garmendia

The Logic of Opacity

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show that some of these logics are non-degenerate

A calculus of expandable stores: Continuation-and-environment-passing style translations

LICS 2020 will be held onlineInternational audienceThe call-by-need evaluation strategy for the λ-calculus is an evaluation strategy that lazily evaluates arguments only if needed, and if so, shares computations across all places where it is needed. To implement this evaluation strategy, abstract machines require some form of global environment. While abstract machines usually lead to a better understanding of the flow of control during the execution, facilitating in particular the definition of continuation-passing style translations , the case of machines with global environments turns out to be much more subtle. The main purpose of this paper is to understand how to type a continuation-and-environment-passing style translation , that is to say how to soundly translate in continuation-passing style a calculus with global environment. To this end, we introduce Fϒ , a generic calculus to define the target of such translations. In particular, Fϒ features a data type for typed stores and a mechanism of explicit coercions witnessing store extensions along environment-passing style translations. On the logical side, this broadly amounts to a Kripke forcing-like translation mixed with a negative translation (for the continuation-passing part). Since Fϒ allows for the definition of such translations for different source calculi (call-by-need, call-by-name, call-by-value) with different type systems (simple types, system F), we claim that it precisely captures the computational content of continuation-and-environment-passing style translations

Truthmakers and modality

This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form or . In section 1 I motivate the demand for substantial truthmakers for modal truths. In section 2 I criticise Armstrong’s account of truthmakers for modal truths. In section 3 I examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In section 4 I discuss, and dismiss, a theistic account of the source of modal truth proposed by Alexander Pruss. In section 5 I offer a means of (dis)solving the problem

The habitus and the critique of the present. A Wittgensteinian reading of Bourdieu’s social theory

I tackle some major criticisms addressed to Pierre Bourdieu’s notion of habitus by foregrounding its affinities with Ludwig Wittgenstein’s notion of rule-following. To this end, I first clarify the character of the habitus as a theoretical device, and then elucidate what features of Wittgenstein’s analysis Bourdieu found of interest from a methodological viewpoint. To vindicate this reading, I contend that Wittgenstein’s discussion of rule-following was meant to unearth the internal connection between rules and the performative activities whereby rules are brought into life. By portraying rules as tools that allow agents to stabilize and renegotiate practices, I illustrate the active role social agents play in the production of shared accounts of practices. I conclude by showing that, if viewed through this prism, the habitus proves to be meant to provide guidance on how social theory helps historicize and denaturalize the social world

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved through pattern-based blocking. Previous approaches to related logics all rely on chain-based blocking. Besides being conceptually simple and suitable for efficient implementation, the pattern-based approach gives us a NExpTime complexity bound for the decision procedure

High-Anxious Individuals Show Increased Chronic Stress Burden, Decreased Protective Immunity, and Increased Cancer Progression in a Mouse Model of Squamous Cell Carcinoma

In spite of widespread anecdotal and scientific evidence much remains to be understood about the long-suspected connection between psychological factors and susceptibility to cancer. The skin is the most common site of cancer, accounting for nearly half of all cancers in the US, with approximately 2–3 million cases of non-melanoma cancers occurring each year worldwide. We hypothesized that a high-anxious, stress-prone behavioral phenotype would result in a higher chronic stress burden, lower protective-immunity, and increased progression of the immuno-responsive skin cancer, squamous cell carcinoma. SKH1 mice were phenotyped as high- or low-anxious at baseline, and subsequently exposed to ultraviolet-B light (1 minimal erythemal dose (MED), 3 times/week, 10-weeks). The significant strengths of this cancer model are that it uses a normal, immunocompetent, outbred strain, without surgery/injection of exogenous tumor cells/cell lines, and produces lesions that resemble human tumors. Tumors were counted weekly (primary outcome), and tissues collected during early and late phases of tumor development. Chemokine/cytokine gene-expression was quantified by PCR, tumor-infiltrating helper (Th), cytolytic (CTL), and regulatory (Treg) T cells by immunohistochemistry, lymph node T and B cells by flow cytometry, adrenal and plasma corticosterone and tissue vascular-endothelial-growth-factor (VEGF) by ELISA. High-anxious mice showed a higher tumor burden during all phases of tumor development. They also showed: higher corticosterone levels (indicating greater chronic stress burden), increased CCL22 expression and Treg infiltration (increased tumor-recruited immuno-suppression), lower CTACK/CCL27, IL-12, and IFN-γ gene-expression and lower numbers of tumor infiltrating Th and CTLs (suppressed protective immunity), and higher VEGF concentrations (increased tumor angiogenesis/invasion/metastasis). These results suggest that the deleterious effects of high trait anxiety could be: exacerbated by life-stressors, accentuated by the stress of cancer diagnosis/treatment, and mediate increased tumor progression and/or metastasis. Therefore, it may be beneficial to investigate the use of chemotherapy-compatible anxiolytic treatments immediately following cancer diagnosis, and during cancer treatment/survivorship

Noncomparabilities & Non Standard Logics

Many normative theories set forth in the welfare economics, distributive justice and cognate literatures posit noncomparabilities or incommensurabilities between magnitudes of various kinds. In some cases these gaps are predicated on metaphysical claims, in others upon epistemic claims, and in still others upon political-moral claims. I show that in all such cases they are best given formal expression in nonstandard logics that reject bivalence, excluded middle, or both. I do so by reference to an illustrative case study: a contradiction known to beset John Rawls\u27s selection and characterization of primary goods as the proper distribuendum in any distributively just society. The contradiction is avoided only by reformulating Rawls\u27s claims in a nonstandard form, which form happens also to cohere quite attractively with Rawls\u27s intuitive argumentation on behalf of his claims